Software engineering - PDFSEARCH.IO - Document Search Engine

Software engineering
Results: 57508

#	Item
701	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system
702	p-medicine_270089_D2-6_Regular_update_of_the_user_needs_and_requirements_based_on_evaluation_and_validation_v1-0 Add to Reading List Source URL: p-medicine.eu Language: English - Date: 2013-08-09 04:18:37 Software engineering Software requirements Health informatics Clinical data management Pharmaceutical industry Quality Validation Use case Scenario Simulation Virtual Physiological Human
703	The Semantics of x86-CC Multiprocessor Machine Code Susmit Sarkar1 Scott Owens1 Tom Ridge1 Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2012-09-10 07:41:01 Computing Computer architecture Software engineering X86 architecture Computer memory Low-level programming language Spinlock X86 Assembly language Memory barrier Memory ordering Exit
704	A High-School Program in Computer Science Judith Gal-Ezer∗ Catriel Beeri† Amiram Yehudai§ Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:19:29 Engineering Computing Software engineering Computer engineering Computer science Electrical engineering Electronic engineering Programming language Theoretical computer science Programming paradigm Computer Modular programming
705	MANAGING YOUR MOBILE PHONE FUNDRAISER Track STATUS PAGE TRACK TRACKSHARE Add to Reading List Source URL: changa.co.ke Language: English - Date: 2016-01-19 04:04:27 Software engineering Mobile technology Technology Short Message Service Text messaging Reserved word Keyword cipher This Keyword Search engine optimization Internet marketing
706	Auto-tuning the 27-point Stencil for Multicore Kaushik Datta2 , Samuel Williams1 , Vasily Volkov2 , Jonathan Carter1 , Leonid Oliker1 , John Shalf1 , and Katherine Yelick1 1 CRD/NERSC, Lawrence Berkeley National Laborat Add to Reading List Source URL: iwapt.org Language: English - Date: 2009-08-03 20:59:23 Compiler optimizations Computing Software engineering Software Loop nest optimization Stencil code Roofline model Stencil Program optimization Common subexpression elimination CPU cache Scalable locality
707	Project No : FP7Project Acronym: ENVISAGE Project Title: Add to Reading List Source URL: envisage-project.eu Language: English - Date: 2015-10-17 08:36:25 Project management Software engineering Computing Engineering Software development process Systems engineering Software design Collaboratory Deliverable Modeling language Artifact Software development
708	MONFISPOL FP7 project SSHDeliverableReport on accelerating estimation in Dynare (Part I) Add to Reading List Source URL: www.monfispol.eu Language: English - Date: 2011-11-16 08:22:06 Obfuscation Computer programming Index of Abkhazia-related articles Software engineering Index of standards articles
709	Busting Frame Busting: a Study of Clickjacking Vulnerabilities on Popular Sites Gustav Rydstedt, Elie Bursztein, Dan Boneh Collin Jackson Add to Reading List Source URL: crypto.stanford.edu Language: English - Date: 2010-06-04 16:24:15 Software engineering Computing Software Hacking Clickjacking Framekiller Obfuscation JavaScript Framing NoScript Content Security Policy Cross-site scripting
710	Design Issues in Parallel Array Languages for Shared Memory ! James Brodman1 , Basilio B. Fraguela2 , Mar´ıa J. Garzar´an1 , and David Padua1 1 University of Illinois at Urbana-Champaign, Dept. of Computer Science Add to Reading List Source URL: polaris.cs.uiuc.edu Language: English - Date: 2008-06-04 16:32:10 Parallel computing Computing Computer programming Software engineering Data parallelism SPMD HTML Application Stream processing Task parallelism OpenMP Multi-core processor Thread

UPDATE